2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Collected Works: Volume II: Publications 1938-1974 (Godel, Kurt Collected Works)
Kurt Godel
Категория:
История
23.84 Mb
#2
Kurt Godel: The Album
Karl Sigmund
,
John Dawson
,
Kurt Muhlberger
68.98 Mb
#3
Collected Works: Volume III: Unpublished essays and lectures (Collected Works of Kurt Godel)
Kurt Gödel
49.54 Mb
#4
Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Godel (Studies in Logic and the Foundations of Mathematics, 10)
Andrzej Mostowski
Категория:
Образование
4.48 Mb
#5
Logical Dilemmas: The Life and Work of Kurt Godel
John W. Dawson Jr.
4.12 Mb
#6
Logical Dilemmas: The Life and Work of Kurt Godel
John W. Dawson Jr.
Категория:
M_Mathematics
,
MPop_Popular-level
3.71 Mb
#7
On Formally Undecidable Propositions Of Principia Mathematica
Godel Kurt
Категория:
fiction
327 Kb
#8
The Modern Development of the Foundations of Mathematics in the Light of Philosophy
Godel Kurt
Категория:
fiction
20 Kb
#9
Collected Works: Volume I: Publications 1929-1936 (Godel, Kurt//Collected Works)
Kurt Gödel
,
Solomon Feferman
,
John W. Dawson Jr.
,
Stephen C. Kleene
,
Gregory H. Moore
,
Robert M. Solovay
,
Jean van Heijenoort
13.27 Mb
#10
Collected Works: Volume III: Unpublished essays and lectures (Godel, Kurt//Collected Works)
Kurt Gödel
,
S. Feferman (Editor-in-Chief)
,
John W. Dawson Jr.
,
Warren Goldfarb
,
Charles Parsons
,
R. Solovay
4.74 Mb
#11
Logical Dilemmas: The Life and Work of Kurt Godel
John W. Dawson Jr.
25.25 Mb
#12
Computational Logic and Proof Theory: 5th Kurt Godel Colloquium, Kgc'97, Vienna, Austria, August 25-29, 1997 Proceedings, Vol. 128
Georg Gottlob
,
Alexander Leitsch
,
Daniele Mundici
24.09 Mb
#13
Incompleteness - The Proof and Paradox of Kurt Godel
Rebecca Goldstein
1.12 Mb
#14
Incompleteness: The Proof and Paradox of Kurt Godel
Rebecca Goldstein
1.64 Mb